Computational Logic and Set Theory: Applying Formalized Logic to Analysis
by Jacob T. T. Schwartz,Martin Davis,Domenico Cantone,Eugenio G. Omodeo
ISBN 13: 9781447160182
Format: Paperback (436 pages) Publisher: Springer Published: 06 Sep 2014
Save for later